Annotative programming